Computer arithmetic - PDFSEARCH.IO - Document Search Engine

Computer arithmetic
Results: 1849

#	Item
121	Static Analysis of the Accuracy in Control Systems : Principles and Experiments Eric Goubault1 , Sylvie Putot1 , Philippe Baufreton2 , and Jean Gassino3 1 CEA/LISTGif-sur-Yvette, {eric.goubault,sylvie.putot}@cea. Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-11-24 06:44:26 Computer arithmetic Abstract interpretation Floating point Interval arithmetic Fluctuat Rounding Infinite loop Affine arithmetic Lookup table Recursion Division algorithm Fixed-point arithmetic
122	Division Of Whole Numbers Lesson Number 4 Add to Reading List Source URL: www.math911.com Language: English - Date: 2016-06-03 18:22:20 Computer arithmetic Mathematical analysis Division Elementary arithmetic Fuel economy in automobiles Cent Algorithm
123	Towards an industrial use of FLUCTUAT on safety-critical avionics software? David Delmas1 , Eric Goubault2 , Sylvie Putot2 , Jean Souyris1 , Karim Tekkal2 , and Franck V´edrine2 1 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-11-24 06:44:27 Computer arithmetic Floating point Fluctuat Abstract interpretation Rounding Interval arithmetic Loss of significance NaN Common logarithm Lookup table Affine arithmetic Signed zero
124	Compensated algorithms in floating point arithmetic: accuracy, validation, performances. Nicolas Louvet Directeur de th`ese: Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2014-11-25 03:18:02 Computer arithmetic Floating point Rounding Algorithm
125	IMPROVED ERROR BOUNDS FOR INNER PRODUCTS IN FLOATING-POINT ARITHMETIC CLAUDE-PIERRE JEANNEROD∗ AND SIEGFRIED M. RUMP† Abstract. Given two floating-point vectors x, y of dimension n and assuming rounding to nearest, w Add to Reading List Source URL: www.ti3.tu-harburg.de Language: English - Date: 2013-07-02 01:16:02 Computer arithmetic Floating point
126	A Unified Theory of Granularity, Vagueness, and Approximation Thomas Bittner and Barry Smith Department of Computer Science, Northwestern University, Department of Philosophy, State University of New Y Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2004-06-10 06:15:08 Combinatorics Number theory Arithmetic functions Partition of a set Partition Equivalence relation Mathematical object Vagueness Perception Mereology
127	Microsoft Word - Grade 5 Module 1 Tips for Parents.docx Add to Reading List Source URL: greatminds.net Language: English - Date: 2015-07-29 21:54:14 Elementary arithmetic Binary operations Mathematical notation Numeral systems Computer arithmetic Number Subtraction Numerical digit Positional notation Floating point Multiplication Pi
128	Invited Talk Department of Computer Science and Engineering Indian Institute of Technology Kanpur Date: July 22, 2016 Time: 3:00 pm to 4:30 pm Venue: KD 102 Formal Hardware Verification of Arithmetic Data-paths using Alg Add to Reading List Source URL: cse.iitk.ac.in Language: English - Date: 2016-07-15 06:06:20 Computer algebra Algebraic geometry Computer science Grbner basis Symbolic computation Computer-aided design Finite field Polynomial Algorithm Theoretical computer science Vladimir Gerdt
129	WG14 N1840 C Floating Point Study Group Teleconference June 12, AM PDT / 12 PM EDT Phone: toll free) or Add to Reading List Source URL: www.open-std.org Language: English - Date: 2014-06-30 11:39:36 Computer arithmetic Arithmetic underflow Floating point TWiki E Agenda
130	CS61c: Combinational Logic Blocks J. Wawrzynek October 12, 2007 1 Add to Reading List Source URL: www-inst.eecs.berkeley.edu Language: English - Date: 2007-10-15 00:23:18 Computer arithmetic Binary logic Digital circuits Logic gates Adder Digital electronics Subtractor XOR gate Arithmetic logic unit Exclusive or Canonical normal form Carry flag

UPDATE